Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
831	77th Workshop on General Algebra, 24th Conference for Young Algebraists University of Potsdam, Institute of Mathematics Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2010-02-17 05:38:48 Universal algebra Mathematical structures Algebraic structures Boolean algebra Variety Structure Quasigroup Model theory Outline of algebraic structures Abstract algebra Mathematics Algebra
832	TRIDIAGONALIZED GUE MATRICES ARE A MATRIX MODEL FOR LABELED MOBILES ABDELMALEK ABDESSELAM, GREG W. ANDERSON∗ AND ALEXANDER R. MILLER Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2014-04-30 07:32:03 Spectral theory Matrix theory Abstract algebra Spectrum Permutation Trigonometric functions Trace Matrix Algebra Mathematics Linear algebra
833	The Rational Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-09-01 09:13:26 Algebraic logic Boolean algebra Metalogic Model theory Sigma-algebra Structure Function Action algebra Mathematics Mathematical logic Abstract algebra
834	The Rational Numbers as an Abstract Data Type J. A. BERGSTRA University of Amsterdam, Informatics Institute, Amsterdam, The Netherlands AND J. V. TUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2007-04-14 14:30:54 Model theory Algebraic structures Mathematical structures Field theory First-order logic Type Structure Universal algebra John V. Tucker Mathematics Abstract algebra Algebra
835	Abstract Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2002-09-23 17:38:51 Algebraic structures Universal algebra Mathematical structures John V. Tucker Model theory Computable function Subalgebra Computability theory Structure Mathematics Algebra Abstract algebra
836	A useful algebraic system of statistical models Ben Klemens∗ May 13, 2014 Abstract This paper proposes a single form for statistical models that accommodates Add to Reading List Source URL: ben.klemens.org Language: English - Date: 2014-05-13 13:45:39 Estimation theory Maximum likelihood Likelihood-ratio test Statistical model Normal distribution Likelihood function Akaike information criterion Generalized linear model Ordinary least squares Statistics Statistical theory Regression analysis
837	A Model of Computation for MapReduce Howard Karloff∗ Siddharth Suri† Abstract Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2009-10-14 18:04:56 Distributed computing architecture MapReduce Parallel computing Analysis of algorithms Computational complexity theory Time complexity Algorithm Apache Hadoop SL Theoretical computer science Computing Applied mathematics
838	Introduction Arrangements O-minimal Structures and Admissible Sets Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2007-02-22 09:38:22 Geometry Model theory Combinatorics O-minimal theory Algebraic variety Betti number Mathematics Abstract algebra Real algebraic geometry
839	Penultimate draft (March 2013). Forthcoming in Studies in History and Philosophy of Science. Making the Abstract Concrete: The Role Of Norms And Values In Experimenta Add to Reading List Source URL: ipeschard.free.fr Language: English - Date: 2013-07-24 13:43:23 Philosophy of science Interpretation Scientific modelling Scientific method Conceptual model Scientific theory Economic model Abstraction Entity-relationship model Science Ethology Mind
840	Model Checking Uncertainty about Probability Jan van Eijck CWI & ILLC, Amsterdam LIRA Seminar, April 9, 2013 Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 05:30:28 Non-classical logic Philosophical logic Model theory Probabilistic logic Probability Lottery Kripke semantics Logic Mathematical logic Mathematics

UPDATE